List of Publications Ofer Arieli Books 1. A.Avron, O.Arieli. A.Zamansky. Theory of Effective Propositional Paraconsistent Logics. Studies in Logic, volume 75 (sub-series: Mathematical Logic and Foundations), College Publ

Source URL: www2.mta.ac.il

Motivation Non-classical logics – such as modal logics, conditional logics, intuitionistic logic, description logics, temporal logics, linear logic, dynamic logic, deontic logics, fuzzy logic, paraconsistent logic, rel

Source URL: iltp.de

• Logic
• Mathematical logic
• Non-classical logic
• Philosophical logic
• Logic in computer science
• Proof theory
• Modal logic
• Modality
• Paraconsistent logic
• Classical logic
• Deontic logic
• Intuitionistic logic

An Argumentative Semantics for Paraconsistent Reasoning in Description Logic ALC Xiaowang Zhang1,2 , Zhihu Zhang1 and Zuoquan Lin1 1 School of Mathematical Sciences, Peking University, Bejing, China

Source URL: ceur-ws.org

Paraconsistent Rough Description Logic Henrique Viana? , Jo˜ao Alcˆantara?? and Ana Teresa Martins? ? ? Departamento de Computac¸a˜ o, Universidade Federal do Cear´a, P.O.Box 12166, Fortaleza, CE, BrasilA

Source URL: ceur-ws.org

Paraconsistent Dynamic Epistemic Logic Can BA¸ SKENT Department of Computer Science, University of Bath canbaskent.net/logic

Source URL: canbaskent.net

Paraconsistent Dynamic Epistemic Logic topological models for inconsistent knowledge Can Başkent Department of Computer Science, University of Bath

Source URL: canbaskent.net

Paraconsistent Dynamic Epistemic Logic Can BA¸ SKENT Department of Computer Science, University of Bath canbaskent.net/logic

Source URL: canbaskent.net

A Paraconsistent Logic for Contrary-to-Duty Obligations Can BAS ¸ KENT Department of Computer Science, University of Bath, England

Source URL: canbaskent.net

An Introduction to Paraconsistent Mathematics Zach Weber, University of Otago A paraconsistent logic is one in which local contradictions do not always imply global absurdity, so that it is possible to study inconsistent

Source URL: irafm.osu.cz

Unexpected Inconsistency The Problem Logic: Between Semantics and Proof Theory Tel-Aviv, 1-2 November 2012

Source URL: logica.ugent.be

• Logic
• Non-classical logic
• Philosophy
• Belief revision
• Paraconsistent logic
• Philosophical logic
• Mathematical logic
• Adaptive behavior